propositional calculus

1. Truth table, value assignment of reduction to absurdity, truth tree, deductive argumentation and normal form etc. are the methods of judging ( or proving) tautology in propositional calculus of mathematical logic, but not that of judging inference formula in traditional propositional logic.
   真值表、归谬赋值、真值树、演绎证明和范式等方法是数理逻辑命题演算中重言式的判定（或证明）方法，但不是传统命题逻辑推理式的判定方法。
2. The narrow medium system only consists of the medium propositional system MP and its expansion MP, the medium predicate calculus system MF and its expansion MF and the system ME.
   狭义的中介系统仅指中介逻辑ML，它由中介命题系统MP及其扩张系统MP、中介谓词演算系统MF及其扩张系统MF，以及带等词的中介谓词演算系统ME组成。
3. The relations between propositional calculus of classical logic ( P) and medium logic ( MP~) have been obtained.
   文中推论2说明了MP~与经典逻辑的命题演算系统（P~）的关系。
4. On the propositional calculus on analysis
   关于分析中的命题演算
5. In 1879, the publication of "Concept Writing" marks the foundation of propositional calculus and the predicate calculus& the basic part of mathematical logic.
   1879年《概念文字》的出版，标志着数理逻辑的基础部分&命题演算和谓词演算正式建立。
6. In this paper, A new retrieval mechanism of database is investigated based on quantified propositional calculus of Fuzzy Logic. It Can be used to process the more general fuzzy database retrieval.
   本文从基于模糊逻辑的量化命题演算出发，探究一个新的数据库查询机制，用以处理更一般的量化命题意义的模糊数据库查询。
7. Application of Wu's Method in Propositional Calculus
   吴方法在命题逻辑中的应用
8. Some axiom systems for propositional calculus
   命题演算的公理系统
9. An extension of the propositional calculus system of medium logic(ⅱ)
   中介逻辑命题演算的扩张（Ⅱ）
10. This paper deals with the formal system of propositional calculus of medium logic ( MP).
    本文讨论了中介逻辑命题演算（MP）的形式系统。
11. This paper constructs an axiom set based on the medium logic propositional calculus system MP~ M and gives a proof of its completeness.
    本文基于中介逻辑命题演算系统MP~M构造了一个公理集合，证明了该公理集合的完备性。
12. Semanteme and Characteristics of Propositional Calculus plus Syllogistic System
    命题演算加三段论系统的语义与特征
13. In propositional calculus system of medium logic ( MP~), superior disjunctive normal form theorem and two corollary have been proved.
    本文证明了MP~中的完全析取范式定理及其两个推论。文中也给出了判别Γ（？）
14. The propositional calculus system ( MP~) is decidable. Inconsistency of the classical axioms in fuzzy propositional calculus
    A在MP~中是否成立的算法。由此MP~是可判定的。经典公理系统在模糊命题演算中的不和谐性
15. Propositional μ-Calculus Design and Implementation for Temporal Logic Systems
    时序系统命题μ演算算法设计与实现
16. This paper mainly discusses formal theorm judged algorithm in entailment system propositional calculus Cm and object events in the actual world with the form of deep thinking that it expresses.
    本文主要讨论制约系统命题演算Cm中形式定理的判定算法，以及现实世界对象事件和对其思考的形式表示。
17. Tree Diagram of Temporal Propositional Calculus and It's Application
    时态命题演算T1的树枝图及其应用
18. An axiom system for the propositional calculus
    命题演算的一系公理
19. Inconsistency of the classical axioms in fuzzy propositional calculus
    经典公理系统在模糊命题演算中的不和谐性
20. Through study of MV-algebra and the Lukasiewicz propositional calculus system, we have simplified the definition of MV-algebra and investigated the relation among some logic algebras.
    通过对MV代数和Lukasiewicz命题演算系统的研究，我们对MV代数的定义进行了简化，并讨论了MV代数和其它代数之间的关系。
21. The Medium Logic Propositional Calculus System MPM and the Medium Logic Predicate Calculus System MFM are new logic systems. They are fit for dealing with incomplete information.
    中介逻辑命题演算系统MP~M和中介逻辑谓词演算系统MF~M是一种适用于处理不完全信息的新的逻辑系统。

noun

1. a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

   Synonym:    propositional logic